figure1codewithaninitializationbug section5reportsontheimplementationofmaskedtypesasamostlybackward compatibleextensiontothejavalanguagecalledjnmasksection6discussesexperienceusingjnmaskinthecon tex published presentations and documents on DocSlides.
